Extended RDF: Computability and complexity issues

Computability and Complexity Issues of Extended RDF

ERDF stable model semantics is a recently proposed semantics for ERDF ontologies and a faithful extension of RDFS semantics on RDF graphs. Unfortunately, ERDF stable model semantics is in general undecidable. In this paper, we elaborate on the computability and complexity issues of the ERDF stable model semantics.

On the Computability and Complexity Issues of Extended RDF

ERDF stable model semantics is a recently proposed semantics for ERDF ontologies and a faithful extension of RDFS semantics on RDF graphs. In this paper, we elaborate on the computability and complexity issues of the ERDF stable model semantics. We show that decidability under this semantics cannot be achieved, unless ERDF ontologies of restricted syntax are considered. Therefore, we propose a ...

Computability and Complexity

ion Abstraktion Acceptance problem Akzeptanz-Problem Accepted akzeptiert Accepting state akzeptierender Zustand Ackermann function Ackermann-Funktion Algorithm Algorithmus Alphabet Alphabet Ambiguity problem Zweideutigkeitsproblem Amortized analysis amortisierte Analyse Application Anwendung Argument (Funktions-)Argument Automaton (endlicher) Automat Automaton language (L(M)) die Sprache eines ...

Honest Computability and Complexity

Computations manipulate representations of objects, most often strings of symbols taken from some finite alphabet, rather than the objects themselves. Numbers, for example, are usually denoted by sequences of decimal, or binary, or unary digits. In logic, one therefore distinguishes between numbers n, which reside in an ideal Platonic world, and numerals ⌜n⌝, their symbolic representation as (f...

Computability and Complexity